Issue2819.agda:16,16-20
true != false of type Bool
when checking that the expression refl has type d true ≡ d false
